| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | plutao.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | 8JMKD3MGP3W/3GDQ9EB |
| Repositório | sid.inpe.br/plutao/2014/06.03.19.45 |
| Última Atualização | 2014:09.18.13.55.35 (UTC) administrator |
| Repositório de Metadados | sid.inpe.br/plutao/2014/06.03.19.45.13 |
| Última Atualização dos Metadados | 2018:06.04.23.39.30 (UTC) administrator |
| DOI | 10.5220/0004662400050016 |
| ISBN | 9789897580079 |
| Rótulo | lattes: 3237709114127674 1 GerlingerRomeroSchnFerr:2014:UsBaSe |
| Chave de Citação | RomeroSchnFerr:2014:UsBaSe |
| Título | Using the Base Semantics given by fUML for Verification  |
| Ano | 2014 |
| Data de Acesso | 17 maio 2024 |
| Tipo Secundário | PRE CI |
| Número de Arquivos | 1 |
| Tamanho | 838 KiB |
| 2. Contextualização | |
| Autor | 1 Romero, Alessandro Gerlinger 2 Schneider, Klaus 3 Ferreira, Maurício Gonçalves Vieira |
| Identificador de Curriculo | 1 2 3 8JMKD3MGP5W/3C9JHT8 |
| Grupo | 1 CSE-ETES-SPG-INPE-MCTI-GOV-BR 2 3 CRC-CRC-INPE-MCTI-GOV-BR |
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 University of Kaiserslautern 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Endereço de e-Mail do Autor | 1 romgerale@yahoo.com.br 2 schneider@cs.uni-kl.de 3 mauricio@ccs.inpe.br |
| Endereço de e-Mail | marcelo.pazos@inpe.br |
| Nome do Evento | International Conference on ModelDriven Engineering and Software Development, 2 (MODELSWARD). |
| Localização do Evento | Lisbon |
| Data | Jan 7-9, 2014 |
| Editora (Publisher) | SCITEPRESS - Science and and Technology Publications |
| Páginas | 5 |
| Título do Livro | Proceedings |
| Tipo Terciário | Paper |
| Histórico (UTC) | 2014-06-03 19:45:13 :: lattes -> administrator :: 2018-06-04 23:39:30 :: administrator -> marcelo.pazos@inpe.br :: 2014 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Tipo do Conteúdo | External Contribution |
| Palavras-Chave | Base Semantics fUML UML Alf Formal Methods Theorem Proving Verification |
| Resumo | The lack of formal foundations of UML results in imprecise models since UML only defines graphical notations, but not their formal semantics. However, in safety-critical applications, formal semantics is a requirement for verification. Semantics for the key parts of activities and classes of UML is defined by the semantics of a foundational subset for executable UML models (fUML). Moreover, the base semantics given by fUML defines the formal semantics of UML. In this paper, we evaluate a subset of the base semantics given by fUML covering its formal definition and its use for verification. From the practical perspective, we show with a simple example how the base semantics can support formal verification through theorem proving. The initial results show that the base semantics, when mature, can play an important role in the formal verification of UML models. |
| Área | ETES |
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > Using the Base... |
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > Using the Base... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W/3GDQ9EB |
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W/3GDQ9EB |
| Idioma | en |
| Arquivo Alvo | RoSF14a.pdf |
| Grupo de Usuários | lattes marcelo.pazos@inpe.br |
| Grupo de Leitores | administrator marcelo.pazos@inpe.br |
| Visibilidade | shown |
| Permissão de Leitura | allow from all |
| Permissão de Atualização | não transferida |
| 5. Fontes relacionadas | |
| Repositório Espelho | iconet.com.br/banon/2006/11.26.21.31 |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/3F3PAJE |
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.19.00.29 2 sid.inpe.br/bibdigital/2013/10.14.22.20 1 sid.inpe.br/mtc-m21/2012/07.13.14.56.30 1 |
| Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
| 6. Notas | |
| Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination edition editor format issn lineage mark nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype volume |
| 7. Controle da descrição | |
| e-Mail (login) | marcelo.pazos@inpe.br |
| atualizar | |